Implementing Multi-Periodic Critical Systems: from Design to Code Generation
نویسندگان
چکیده
منابع مشابه
Implementing Multi-Periodic Critical Systems: from Design to Code Generation
This article presents a complete scheme for the development of Critical Embedded Systems with Multiple Real-Time Constraints. The system is programmed with a language that extends the synchronous approach with high-level real-time primitives. It enables to assemble in a modular and hierarchical manner several locally mono-periodic synchronous systems into a globally multi-periodic synchronous s...
متن کاملCode Generation for Safety-Critical Systems
It is natural to rely on experiences from the aviation industry when developing safety-critical systems for automotive applications. In the aviation industry for several decades programmable systems have been used for flight control, aircraft engine control, landing gear control etc.. The safety and reliability requirements of these systems are comparable with steer-by-wire or brake-by-wire sys...
متن کاملAn Approach to Automatic Code Generation for Safety-Critical Systems
Automated translation, or code generation, of a formal requirements model to production code can alleviate many of the problems associated with design and implementation. In this report we outline the requirements of such code generation to obtain a high level of conndence in the correctness of the translation process. We then describe a translator for a state-based modeling language called RSM...
متن کاملTowards Code Generation from Design Models
With the growing in size and complexity of modern computer systems, the need for improving the quality at all stages of software development has become a critical issue. The current software production has been largely depended on manual code development. Despite the slow development process, the errors introduced by the programmers contribute to a substantial portion of defects in the final so...
متن کاملAutomatic Code Generation from Design Patterns
Design patterns raise the abstraction level at which people design and communicate design of object-oriented software. But design patterns still leave the mechanics of their implementation to the programmer. This paper describes the architecture and implementation of a tool that automates the implementation of design patterns. The user of the tool supplies application-specific information for a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2010
ISSN: 2075-2180
DOI: 10.4204/eptcs.20.4